Nuprl Definition : loc 0,22
loc(e) == ecase1(e;info;i.i;l,e'.destination(l)) 
latex

clarification:

loc(info;e) == ecase1(e;info;i.i;l,e'.destination(l)) 
latex

Definitionsecase1(e;info;i.f(i);l,e'.g(l;e')), destination(l)
FDL editor aliasesloc

origin